-
1 recursive equivalence
Большой англо-русский и русско-английский словарь > recursive equivalence
-
2 recursive equivalence
Математика: рекурсивная эквивалентность -
3 recursive equivalence
English-Russian electronics dictionary > recursive equivalence
-
4 recursive equivalence
The New English-Russian Dictionary of Radio-electronics > recursive equivalence
-
5 recursive equivalence
English-Russian scientific dictionary > recursive equivalence
-
6 recursive equivalence type
Математика: тип рекурсивной эквивалентностиУниверсальный англо-русский словарь > recursive equivalence type
-
7 recursive equivalence type
English-Russian scientific dictionary > recursive equivalence type
-
8 equivalence
1) адекватность; эквивалентность3) равносильность; равноценность; равнозначность• -
9 equivalence
эквивалентность || эквивалентный- equivalence of categories
- absolute equivalence
- affine equivalence
- algebraic equivalence
- analytic equivalence
- analytical equivalence
- asymptotic equivalence
- asymptotical equivalence
- automata equivalence
- behavioral equivalence
- bilateral equivalence
- canonical equivalence
- cardinality equivalence
- chain equivalence
- complete equivalence
- conditioned equivalence
- conformal equivalence
- deductive equivalence
- empirical equivalence
- formal equivalence
- full equivalence
- fuzzy equivalence
- geometric equivalence
- logical equivalence
- observational equivalence
- one-to-one equivalence
- partial equivalence
- permutation equivalence
- projective equivalence
- quantitative equivalence
- recursive equivalence
- reversible equivalence
- semantic equivalence
- statistic equivalence
- strategic equivalence
- strict equivalence
- syntactic equivalence
- topologic equivalence
- topological equivalence -
10 equivalence
эквивалентность || эквивалентный- affine equivalence
- algebraic equivalence
- analytic equivalence
- analytical equivalence
- asymptotic equivalence
- asymptotical equivalence
- automata equivalence
- behavioral equivalence
- bilateral equivalence
- canonical equivalence
- cardinality equivalence
- chain equivalence
- complete equivalence
- conditioned equivalence
- conformal equivalence
- deductive equivalence
- empirical equivalence
- equivalence of algorithms
- equivalence of categories
- equivalency equivalence
- formal equivalence
- full equivalence
- fuzzy equivalence
- geometric equivalence
- logical equivalence
- observational equivalence
- one-to-one equivalence
- partial equivalence
- permutation equivalence
- projective equivalence
- quantitative equivalence
- recursive equivalence
- reversible equivalence
- semantic equivalence
- statistic equivalence
- strategic equivalence
- strict equivalence
- syntactic equivalence
- topologic equivalence
- topological equivalenceThe New English-Russian Dictionary of Radio-electronics > equivalence
-
11 type
1) вид; тип2) литера3) марка5) род7) шрифт; гарнитура шрифта•- continuous order type - fiber homotopy type - recursive isomorphism type -
12 рекурсивная эквивалентность
Большой англо-русский и русско-английский словарь > рекурсивная эквивалентность
-
13 function
1) функция, действие || функционировать; действовать- essential functions - routine function - safety-related functions2) функциональное назначение; роль- circuit function - intrinsic function - metering function - primary function - robot function - planning function - service function - support function4) функциональный узел ( машины)5) матем. функциональная зависимость, функция- absolutely additive function - absolutely bounded function - absolutely continuous function - absolutely integrable function - absolutely monotone function - absolutely summable function - absolutely symmetric function - almost complex function - almost continuous function - almost convex function - almost everywhere defined function - almost everywhere finite function - almost invariant function - almost periodic function - almost recursive function - almost separably-valued function - almost separating function - almost universal function - analytically independent function - analytically representable function - approximately differentiable function - asymptotically differentiable function - asymptotically finite function - asymptotically uniformly optimal function - bounded below function - cellwise continuous function - circumferentially mean p-valent function - comparison function - complementary error function - complete analytic function - completely additive function - completely computable function - completely monotone function - completely multiplicative function - completely productive function - completely subadditive function - completely symmetrical function - completely undefined function - complex hyperbolic function - conditional risk function - countably multiplicative function - countably valued function - covariant function - cumulative distribution function - cumulative frequency function - deficiency function - double limit function - doubly periodic function - doubly recursive function - effectively computable function - effectively constant function - effectively decidable function - effectively variable function - elementarily symmetric function - entire function of maximum type - entire function of mean type - entire function of potential type - entire function of zero type - entire rational function - essentially increasing function - essentially integrable function - essentially real function - essentially smooth function - everywhere differentiable function - everywhere smooth function - expansible function - explicitly definable function - exponentially convex function - exponentially decreasing function - exponentially increasing function - exponentially multiplicative function - exponentially vanishing function - finitely mean valent function - finitely measurable function - function of appropriate behavior - function of bounded characteristic - function of bounded type - function of bounded variation - function of complex variable - function of exponential type - function of finite genus - function of finite variation - function of fractional order - function of infinite type - function of integral order - function of maximal type - function of minimal type - function of mixed variables - function of normal type - function of number theory - function of one variable - function of rapid descent - function of rapid growth - function of real variable - general universal function - geometric carrier function - implicitly definable function - incomplete dibeta function - incomplete gamma function - incomplete tribeta function - incompletely defined function - inductively defined function - inductively integrable function - infinitely divisible function - infinitely many-valued function - integral logarithmic function - inverse trigonometric function - inverted beta function - iterative function - joint correlation function - joint density function - linearly separable function - locally bounded function - locally constant function - locally holomorphic function - locally homogeneous function - locally integrable function - locally negligible function - locally regular function - locally summable function - logarithmic generating function - logarithmic integral function - logarithmically infinite function - logarithmically plurisubharmonic function - logarithmically subharmonic function - lower semicontinuous function - monotone non-decreasing function - monotone non-increasing function - multiply periodic function - multiply recursive function - negative definite function - negative infinite function - nontangentially bounded function - normalized function - normed function - nowhere continuous function - nowhere differentiable function - nowhere monotonic function - n-times differentiable function - n-tuply periodic function - numeralwise expressible function - numeralwise representable function - numerical function - numerically valued function - oblate spheroidal function - operating characteristic function - optimal policy function - parametrically definable function - partially symmetric function - piecewise constant function - piecewise continuously differentiable function - piecewise linear function - piecewise monotonic function - piecewise polynomial function - piecewise quadratic function - piecewise regular function - piecewise smooth function - pointwise approximated function - positive homogeneous function - positive infinite function - positive monotone function - positive monotonic function - positive semidefinite function - potentially calculable function - potentially recursive function - power series function - probability generating function - quadratically summable function - rapidly damped function - rapidly decreasing function - rapidly oscillatory function - recursively continuous function - recursively convergent function - recursively defined function - recursively differentiable function - recursively divergent function - recursively extensible function - relative distribution function - relative frequency function - representing function - reproducing kernel function - residual function - residue function - scalarwise integrable function - scalarwise measurable function - sectionally smooth function - simply periodic function - singly recursive function - slowly increasing function - slowly oscillating function - slowly varying function - smoothly varying function - solid spherical harmonic function - solid zonal harmonic function - steadily increasing function - stopped random function - strictly convex function - strictly decreasing function - strictly increasing function - strictly integrable function - strictly monotone function - strongly differentiable function - strongly holomorphic function - strongly integrable function - strongly measurable function - strongly plurisubharmonic function - totally additive function - totally continuous function - totally measurable function - totally multiplicative function - totally positive function - triangular function - uniformly best decision function - uniformly bounded function - uniformly definable function - uniformly differentiable function - uniformly homotopic function - uniformly integrable function - uniformly limited function - uniformly measurable function - uniformly smooth function - unit step function - unitary divisor function - upper measurable function - upper semicontinuous function - weakly analytic function - weakly continuous function - weakly differentiable function - weakly holomorphic function - weakly measurable function - weakly singular function - weighted random functiondomain of a function — область определения функции, область изменения независимой переменной
-
14 relation
1) зависимость, (взаимо)связь2) отношение; соотношение4) геол. условия залегания•- almost universal relation - cause-effect relation - generalized semigroup relation - logically irreducible relation - parametrically definable relation - partial ordering relation - recursively enumerable relation - recursively invariant relation - recursively representable relation - strongly definable relation - weakly symmetric relation -
15 group
1) группа, ансамбль || групповой- roughing mill group2) совокупность; комплект3) группировка || группировать(ся)5) класс; категория || классифицировать; категоризировать6) хим. остаток7) сгусток; скопление8) узел9) матем. группа- absolute free group - absolute homotopy group - absolutely irreducible group - absolutely simple group - additively written group - adele group - adelic group - algebraically compact group - algebraically simple group - almost connected group - almost cyclic group - almost ordered group - almost periodic group - almost simple group - alternating form group - cancellative group - cellular homology group - characteristically simple group - complementing group - completely anisotropic group - completely discontinuous group - completely divisible group - completely indecomposable group - completely integrally closed group - deficient group - direct homology group - direct indecomposable group - doubly transitive group - finitely defined group - finitely generated group - finitely presented group - finitely related group - first homology group - first homotopy group - freely generated group - full linear group - full orthogonal group - full rotation group - full symmetric group - full unimodular group - group of classes of algebras - group of covering transformations - group of finite rank - group of infinite order - group of infinite rank - group of inner automorphisms - group of linear equivalence - group of linear forms - group of linear manifold - group of principal ideles - group of real line - group of recursive permutations - group of right quotients - idele class group - linearly ordered group - linearly transitive group - locally bicompact group - locally closed group - locally compact group - locally connected group - locally cyclic group - locally defined group - locally embeddable group - locally finite group - locally free group - locally infinite group - locally nilpotent group - locally normal group - locally solvable group - multiply primitive group - multiply transitive group - nonsolvable group - n-th homotopy group - ordered pair group - principal congruence group - properly orthogonal group - properly unimodular group - pure projective group - pure rotation group - pure simple group - quasipure projective group - quotient divisible group - residually nilpotent group - restricted holonomy group - sharply transitive group - simply ordered group - simply reducible group - simply transitive group - singular cogomology group - singular homology group - solvable group - stable group - strictly transitive group - strongly polycyclic group - subsolvable group - supersolvable group - totally ordered group - totally projective group - totally reducible group - triply transitive group - unitary symmetry group - unitary transformation group - value group - weak homology group - weakly mixing groupgroup with multiple operators — группа с многоместными операторами, мультиоператорная группа
-
16 grammar
[ˈɡræmə]ambiguous grammar неоднозначная грамматика attribute grammar атрибутная грамматика bounded-context grammar грамматика с ограниченным контекстом case grammar падежная грамматика constituent grammar грамматика составляющих context-free grammar контекстно-свободная грамматика context-sensitive grammar контекстно-зависимая грамматика dependency grammar граматика зависимостей double-level grammar двухуровневая грамматика equivalence grammar эквивалентная грамматика finite-state grammar автоматная грамматика formal grammar формальная грамматика generative grammar порождающая грамматика grammar введение в науку, элементы науки grammar грамматика grammar грамматическая система языка grammar грамматические навыки; his grammar is terrible он делает много грамматических ошибок grammar учебник грамматики grammar грамматические навыки; his grammar is terrible он делает много грамматических ошибок left-recursive grammar леворекурсивная грамматика linear grammar линейная грамматика matrix grammar матричная грамматика network grammar сетевая грамматика operator grammar операторная грамматика phrase-structure grammar грамматика непосредственных составляющих position grammar позиционнная грамматика precedence grammar грамматика предшествования recognising grammar распознающая грамматика regular grammar регулярная грамматика right-recursive grammar праворекурсивная грамматика semantic grammar семантическая грамматика slot grammar грамматика валентностей source grammar исходная грамматика surface grammar поверхностная грамматика tree grammar грамматика деревьев unambiguous grammar однозначная грамматика -
17 system
1) система; комплекс2) совокупность•- absolutely consistent system - absolutely direct indecomposable system - absolutely free system - absolutely irreducible system - absolutely isolated system - allowable coordinate system - almost linear system - ample linear system - artificial feel system - automatic block system - automatic deicing system - binary relational system - binary-coded decimal system - block tooling system - Cartesian coordinate system - completely controllable system - completely ergodic system - completely hyperbolic system - completely identifiable system - completely integrable system - completely irreducible system - completely regular system - completely stable system - completely stratified system - complex number system - conical coordinate system - derivational formal system - differential equation system - differential selsyn system - digital counting system - digital transmission system - elliptic coordinate system - elliptic cylindrical coordinate system - externally inconsistent system - finite state system - finitely axiomatizable system - finitely presented system - fully characteristic quotient system - fundamental system of solutions - hydraulic lift system - integrated switching system - isomorphically embedded system - kernel normal system - linearly dependent system - linearly independent system - live hydraulic system - locking protection system - meteor-burst communication system - modular programming system - parabolic cylindrical coordinate system - permanent four-wheel drive system - pure independent system - radio telephone system - reactor protection system - real number system - receiver-amplifier crioelectric system - remote-cylinder hydraulic system - semantically consistent system - simply consistent system - simply incomplete system - simply ordered system - spherical coordinate system - strongly multiplicative system - structurally stable system - sufficiently general coordinate system - system of frequency curves - system of rational numbers - time multiplex system - time-division multiplex system - uniformly complete system - univalent system of notation - universal system of notation - weakly closed system - weighted number system -
18 transformation
трансформация, трансформирование; превращение; преобразование- completely reducible transformation - convexity preserving transformation - identity transformation - inverted transformation - locally isomorphic transformation - locally linear transformation - locally quadratic transformation - normal transformation of binomial distribution - probability integral transformation - proper birational transformation - recursive transformation - uniform probability transformation - uniformly continuous transformation - uniformly regular transformation - weakly compact transformation - weakly completely continuous transformation - weakly mixing transformation - weakly open transformation - weakly separable transformation
См. также в других словарях:
Equivalence faible — Grammaire formelle Une grammaire est un formalisme permettant de définir une syntaxe et donc un langage formel, c est à dire un ensemble de mots admissibles sur un alphabet donné. La notion de grammaire formelle est particulièrement utilisée en… … Wikipédia en Français
Equivalence forte — Grammaire formelle Une grammaire est un formalisme permettant de définir une syntaxe et donc un langage formel, c est à dire un ensemble de mots admissibles sur un alphabet donné. La notion de grammaire formelle est particulièrement utilisée en… … Wikipédia en Français
Μ-recursive function — In mathematical logic and computer science, the μ recursive functions are a class of partial functions from natural numbers to natural numbers which are computable in an intuitive sense. In fact, in computability theory it is shown that the μ… … Wikipedia
μ-recursive function — In mathematical logic and computer science, the μ recursive functions are a class of partial functions from natural numbers to natural numbers which are computable in an intuitive sense. In fact, in computability theory it is shown that the μ… … Wikipedia
Fonction Récursive Primitive — Une fonction récursive primitive est une fonction définie principalement à l aide de fonctions primitives de récursion et de composition. Ces fonctions constituent un sous ensemble des fonctions récursives. Elles ont été initialement analysées… … Wikipédia en Français
Fonction recursive primitive — Fonction récursive primitive Une fonction récursive primitive est une fonction définie principalement à l aide de fonctions primitives de récursion et de composition. Ces fonctions constituent un sous ensemble des fonctions récursives. Elles ont… … Wikipédia en Français
Fonction récursive primitive — Une fonction récursive primitive est une fonction définie principalement à l aide de fonctions primitives de récursion et de composition. Ces fonctions constituent un sous ensemble des fonctions récursives. Elles ont été initialement analysées… … Wikipédia en Français
Fonction Récursive — Voir « récursif » sur le Wiktionnaire … Wikipédia en Français
Fonction recursive — Fonction récursive Voir « récursif » sur le Wiktionnaire … Wikipédia en Français
Fonction récursive — Sur les autres projets Wikimedia : « Fonction récursive », sur le Wiktionnaire (dictionnaire universel) En informatique et en mathématiques, le terme fonction récursive désigne une classe de fonctions calculables, autrement dit de… … Wikipédia en Français
Primitive recursive arithmetic — Primitive recursive arithmetic, or PRA, is a quantifier free formalization of the natural numbers. It was first proposed by Skolem [Thoralf Skolem (1923) The foundations of elementary arithmetic in Jean van Heijenoort, translator and ed. (1967)… … Wikipedia